Journal of Symbolic Computation